321. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
322. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده: edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
323. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده: edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
324. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
325. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده: edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
326. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده: edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
327. Set theory and hirarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975;]Proceedings[
پدیدآورنده: Conference on Set Theory and Hierarchy Theory, 2d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibiography ، Mostowski, Andrzej
رده :
QA
3
.
L28
no
.
537
328. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
329. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Set theory - Congresses,Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
872
330. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
248
.
S4
1979
331. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
332. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
333. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
334. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده: Ghilardi, Silvio
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
335. Simple groups of finite Morley rank /
پدیدآورنده: Tuna Altinel, Alexandre V. Borovik, Gregory Cherlin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Finite groups,Model theory
رده :
QA9
.
7
.
A48
2007
336. Simple groups of finite Morley rank
پدیدآورنده: Altinel, Tuna, 6691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Finite groups
رده :
QA
9
.
7
.
A48S5
337. Simple theories and hyperimaginaries /
پدیدآورنده: Enrique Casanovas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: First-order logic,Hyperspace,Model theory
رده :
QA9
.
7
.
C37
2011
338. Simplicity theory /
پدیدآورنده: Byunghan Kim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.
رده :
QA9
.
7
.
K56
2014eb
339. Stable groups
پدیدآورنده :
موضوع : Model theory,Group theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
340. Stable groups
پدیدآورنده: Poizat, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Group theory
رده :
QA
9
.
7
.
P63213
